An Interface Language between Speciications and Testing
نویسندگان
چکیده
منابع مشابه
Interface between L2 learners’ pragmatic performance, language proficiency, and individual/group ZPD
One of the theories accounting for pragmatic development of L2 learners is Vygotsky’s (1978) sociocultural theory. This study investigated the development of EFL learners' pragmatic competence through the lens of an important concept of Vygotsky’s theory, i.e. the zone of proximal development. The study was conducted to answer two questions. The first question was wheth...
متن کاملSpeci cation and Testing of Temporal Properties of Concurrent System Designs
This paper investigates the use of Graphical Interval Logic for speciication and testing of concurrent and real-time systems. Past research produced a toolset for creating speciications in GIL and for reasoning about properties of systems that satisfy their speciications. Current research is exploring the use of GIL speciications during system design and implementation. Our work to date has foc...
متن کاملGcsr: a Graphical Language with Algebraic Semantics for the Speciication of Real-time Systems
Graphical Communicating Shared Resources, GCSR, is a formal language for specifying real-time systems including their functional and resource requirements. A GCSR speciication consists of a set of nodes that are connected with directed, labeled edges, which describe possible execution ows. Nodes represent instantaneous selection among execution ows, or time and resource consuming system activit...
متن کاملObjectives for User Interface Speciication Languages
User interface speciication languages are concerned with describing the requirements for the structure of dialogue between an interactive system and its users. The central objective for a user interface speciication language is to provide the ability to construct and maintain speciications which establish a wide range of perspectives and facilitate analysis. This paper presents a number of char...
متن کاملClassification and Comparison of Module Concepts for Graph Transformation Systems
In this chapter we use a three-level approach for analyzing module concepts for graph transformation systems. Based on the observation that module architectures consist of basic speciications like body or export interface and relations like the implementation relation between them, or the import relation between a client and a server module, module concepts are characterized by answering the qu...
متن کامل